equivalence transformation